3rd US–EU Workshop: Systems level understanding of DNA damage responses

3rd Workshop on Dependable Embedded Systems

Microkernels and microhypervisors, which we understand to be small hypervisors providing microkernel-like abstractions to build minimal-complex and de-privileged virtual-machine monitors, have become very attractive operating-system alternatives for PCand embedded platforms. This paper highlights initial thoughts towards verifying microkernel-based operating systems and in particular systems ru...

Techniques R Implementing Constraint Programming Systems Fo 3rd Workshop On

The search strategy of a CP solver is determined by the variable and value ordering heuristics it employs and by the branching scheme it follows. Although the effects of variable and value ordering heuristics on search effort have been widely studied, the effects of different branching schemes have received less attention. In this paper we study this effect through an experimental evaluation th...

RE4SuSy: 3rd International Workshop on Requirements Engineering for Sustainable Systems

Research has started investigating the support of sustainability within systems and software engineering.Yet there are few workshops that explore the topic, and there is only one so far in requirements engineering: RE4SuSy. The International Workshops on Requirements Engineering for Sustainable Systems (RE4SuSy) have been held at REFSQ in 2012 and at RE in 2013. We want to continue this series ...

IKMS2011 - 3rd Workshop on Integrated Knowledge Management Systems

3rd Workshop for Doctoral Students in Object-Oriented Systems

This is a summary of the 3rd Workshop for Doctoral Students in Object-Oriented Systems. This document presents the activities and results of the sessions of the workshop. In the Ph.D. network session the usage and evolution of the Ph.D. mailing list was elaborated. The corresponding chapter contains also an introduction to the goals of the list including the access rules. In the main non-techni...